Message addProfessor(Professor)(Faculty::addProfessor)

OperationFaculty::addProfessorMessage to selfNo
SenderpersistencyClientReceiver--Not Named--